<HTML><HEAD><TITLE>dvar_msg(+DVar1, +DVar2, -MsgDVar)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>dvar_msg(+DVar1, +DVar2, -MsgDVar)</H1>
MsgDVar is a domain variable which is the most specific generalisation of
domain variables or atomic values DVar1 and DVar2.


<DL>
<DT><EM>+DVar1</EM></DT>
<DD>A finite domain or an atomic term.
</DD>
<DT><EM>+DVar2</EM></DT>
<DD>A finite domain or an atomic term.
</DD>
<DT><EM>-MsgDVar</EM></DT>
<DD>A free variable.
</DD>
</DL>
<H2>Description</H2>
   MsgVar is a domain variable which is the most specific generalisation of
   domain variables or atomic values Var1 and Var2.

<P>

<H3>Fail Conditions</H3>
   None.


<H3>Resatisfiable</H3>
   No.
<H2>See Also</H2>
<A HREF="../../lib/fd/dom_union-4.html">dom_union / 4</A>, <A HREF="../../lib/fd/dom_intersection-4.html">dom_intersection / 4</A>, <A HREF="../../lib/fd/dvar_domain-2.html">dvar_domain / 2</A>
</BODY></HTML>
